No Type Stamps and No Structure Stamps - a Referentially-Transparent Higher-Order Module Language
ثبت نشده
چکیده
منابع مشابه
No Type Stamps and No Structure Stamps | a Referentially - Transparent Higher
A language for programming-in-the-large should support architectural descriptions of an entire product line. The evaluation of programs-in-the-large should generate the architecture of individual products and should link implementations-in-the-small to form an executable product. The Standard ML (SML) module language 20] could serve this task, but it is not referentially transparent. Furthermor...
متن کاملLimited indications of tax stamp discordance and counterfeiting on cigarette packs purchased in tobacco retailers, 97 counties, USA, 2012
Increasing the per-unit cost of tobacco products is one of the strongest interventions for tobacco control. In jurisdictions with higher taxes in the U.S., however, cigarette pack litter studies show a substantial proportion of littered packs lack the appropriate tax stamp. More limited but still present counterfeiting also exists. We sought to examine the role of tobacco retailers as a source ...
متن کاملUse of Tobacco Tax Stamps to Prevent and Reduce Illicit Tobacco Trade — United States, 2014
Tobacco use is the leading cause of preventable disease and death in the United States. Increasing the unit price on tobacco products is the most effective tobacco prevention and control measure. Illicit tobacco trade (illicit trade) undermines high tobacco prices by providing tobacco users with cheaper-priced alternatives. In the United States, illicit trade primarily occurs when cigarettes ar...
متن کاملHow to Qualify Electronic Signatures and Time Stamps
In this work we will show how non-qualified electronic signatures and time stamps can be efficiently enhanced in order to equip them with similar features as qualified ones. In particular we will show how non-qualified electronic signatures can be used in business processes which require the written form. Furthermore we will show how to construct ”interval-qualified” (IQ) time stamps which may ...
متن کاملSecure and Cost Eecient Electronic Stamps
Even small companies do not use physical stamps to prepay postal services, but have a franking machine which can be logically loaded with a certain amount of stamps which are printed on letters for example. Special purpose franking machines, which are still widely used in practice, however have security and handling problems. It was relatively easy to forge stamps and in some cases one needed t...
متن کامل